covariant element

共变元